perm filename PERRY.ME1[LET,JMC] blob sn#496557 filedate 1980-02-13 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub" source
C00004 ENDMK
C⊗;
.require "let.pub" source
∂CSM Professor John Perry, Philosophy Department$$CS-226 Epistemological
Problems of Artificial Intelligence∞

You may be interested in cross-listing the following course in
philosophy.

226. Epistemological Problems of Artificial Intelligence - Formalisms for
representing what a general intelligent program must know about the common
sense world including facts about causality, ability, knowledge and
action.  Modes of rigorous and conjectural reasoning, especially
non-monotonic reasoning.  Approximate theories and counterfactuals.
Connections with philosophy, especially philosophical logic and
epistemology.  Some familiarity with first order logic will be assumed.

.reg